Assumptions: right cancellative, self-dual
Conclusions: left cancellative
Proof: This holds by self-duality.